In the context of "session behaviors" for client/server systems, we propose aweakening of the compliance and sub-behaviour relations where the bias towardthe client (whose "requests" must be satisfied) is pushed further with respectto the usual definitions, by admitting that "not needed" output actions fromthe server side can be "skipped" by the client. Both compliance andsub-behaviour relations resulting from this weakening remain decidable, thoughthe proof of the duals-as-minima property for servers, on which thedecidability of the sub-behaviour relation relies, requires a tighter analysisof client/server interactions.
展开▼
